$\forall$$a$, $b_{1}$, $b_{2}$:$\mathbb{Z}$. CoPrime($a$,$b_{1}$) $\Rightarrow$ CoPrime($a$,$b_{2}$) $\Rightarrow$ CoPrime($a$,$b_{1}$$\cdot$$b_{2}$)